A model of context-dependent component connectors
نویسندگان
چکیده
Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse such connectors can themselves be composed, resulting in an expressive calculus of connectors whose semantics encompasses complex combinations of synchronisation, mutual exclusion, non-deterministic choice and state-dependent behaviour. To increase the expressiveness of connectors notions of context-dependent behaviour have been proposed. Context dependency can be used can express the priority of one behaviour over another and the inhibition of actions due to changing context. The notion of context we consider in this paper is given by the pending activities on the ports of a connector. Context dependent behaviour occurs whenever the choices available to a connector change non-monotonically as its context changes. Capturing context-dependent behaviour in formal models is non-trivial, as it is unclear how to propagate context information through composition. In this paper we present an intuitive automata-based formal model of contextdependent connectors, and argue that it is superior to previous attempts at such a model for the coordination language Reo.
منابع مشابه
Automata for Context-Dependent Connectors
Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, such connectors can themselves be composed, resulting in an expressive calculus of connectors whose semantics encompasses complex combinations of synchronisation, mutual exclusion, non-deterministic choice and state-dependent be...
متن کاملIntentional Automata: A Context-Dependent Model for Component Connectors - (Extended Abstract)
متن کامل
Testing and numerical modelling of Steel-Concrete-Steel with stud bolts connectors subject to push-out loading
Steel-concrete-steel (SCS) sandwich panels are composed of two steel plates with low thicknesses and high densities and strengths and one thick layer between both plates with low strength and density known as core that is composed of concrete. Cohesive material-epoxy resin or shear connectors are usually used to connect the plates to the concrete core. SCS sandwich composites are being develope...
متن کاملConnector Colouring I: Synchronisation and Context Dependency
Reo is a coordination model based on circuit-like connectors which coordinate components through the interplay of data flow, synchronisation and mutual exclusion, state, and context-dependent behaviour. This paper proposes a scheme based on connector colouring for determining the behaviour of a Reo connector by resolving its context dependent synchronisation and mutual exclusion constraints. Co...
متن کاملLeveraging Aspect-Connectors to Improve Stability of Product-Line Variabilities
One of the design goals of Product Line Architectures (PLAs) is to remain stable while accommodating changes of stakeholder’s requirements. However, the stability of a PLA is largely dependent on how modularized are the decisions crosscutting multiple architectural variation points. Their scattered implementation often leads to a number of side effects, such as architecture-wide modifications. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Sci. Comput. Program.
دوره 77 شماره
صفحات -
تاریخ انتشار 2012